strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- layout n. 布局；设计；安排；陈列
- Hernando [地名] [美国] 赫南多
- druggist n. 药剂师；药商；（美）药房老板（兼营化妆品、文具、牙膏、漱口剂、香烟等杂货的）
- evaluation n. 评价；[审计] 评估；估价；求值
- spurned vt. 唾弃；冷落；一脚踢开 vi. 摒弃；藐视 n. 藐视，摒弃；踢开
- Deut abbr. Deuteronomy 申命记（旧约中的一卷），预言
- avaricious adj. 贪婪的；贪得无厌的
- apathetic adj. 冷漠的；无动于衷的，缺乏兴趣的
- bumble n. 错误 vi. 犯错误；踉跄；结结巴巴地说话 vt. 弄糟；搞坏
- sloan n. 斯隆（姓氏）；麻省理工学院斯隆商学院
- enamored adj. 迷恋的；倾心的 v. 迷住，使迷恋（enamor的过去分词形式）
- gulag n. 古拉格（集中营）
- perched adj. 栖息的；置于高处的 v. 栖息（perch的过去式）
- truthful adj. 真实的；诚实的
- punchbowl 潘趣酒碗
- eiderdown n. 凫绒被；凫绒
- vendetta n. （尤指族间或血亲间的）仇杀；深仇 n. (Vendetta)人名；(意)文代塔
- transparent adj. 透明的；显然的；坦率的；易懂的
- recreate vt. 再创造；使得到娱乐/消遣 vi. 娱乐；消遣
- normalcy n. 常态
考试词汇表
- air cell battery
- air chamber pump
- air charge valve
- air cleaner base
- air cleaner body
- air cleaner pipe
- air commerce act
- air conditioners
- air conditioning
- air conductivity
- air conservation
- air contaminants
- air content test
- air control pipe
- air control ship
- air control unit
- air cooled blade
- air cooled brake
- air cooled cargo
- air cooled laser
